University of Cambridge - PDFSEARCH.IO - Document Search Engine

University of Cambridge
Results: 5721

#	Item
581	ClickOS and the Art of Network Function Virtualization Joao Martins† , Mohamed Ahmed† , Costin Raiciu‡ , Vladimir Olteanu‡ , Michio Honda† , Roberto Bifulco† , Felipe Huici† † NEC Europe Ltd. ‡ Universi Add to Reading List Source URL: nets.cs.pub.ro Language: English - Date: 2014-10-19 08:55:39 Network architecture Linux Foundation University of Cambridge Computer Laboratory Xen Hyper-V Open vSwitch Hardware virtualization Middlebox Hypervisor Live migration Paravirtualization Kernel-based Virtual Machine
582	Verifying arbitrary temporal formulas in the temporal logic of actions Lucian Wischik In SRC Technical NoteThis report describes a summer project undertaken by Lucian Wischik of the University of Cambridge, at Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-06-10 07:22:12 Syntax Temporal logic Disjunctive normal form Model checking Well-formed formula Formula
583	Empirical Multiscale Networks of Cellular Regulation Benjamin de Bivort1, Sui Huang2,3,4, Yaneer Bar-Yam5 1 Department of Molecular and Cellular Biology, Harvard University, Cambridge, Massachusetts, United States of Am Add to Reading List Source URL: debivort.org Language: English* - Date: 2009-02-20 15:36:14 Gene expression Systems biology Networks Molecular biology Bioinformatics Gene regulatory network Transcriptional regulation Modularity Cellular differentiation Biological network Ridge
584	Speaker identification evidence: its forms, limitations, and roles Francis Nolan University of Cambridge Cambridge, UK Add to Reading List Source URL: www.ling.cam.ac.uk Language: English - Date: 2007-08-15 06:08:54 Phonetics Forensic linguistics Speaker recognition Prosody Phonetic transcription Vowel Human voice Forensic identification Intonation Forensic science DNA profiling Francis Nolan
585	Jacqueline M. Carlon, Pliny’s Women: Constructing Virtue and Creating Identity in the Roman World. Cambridge: Cambridge University Press, 2009. Pp. x + 270. Cloth, $85. The book under review is yet another proof of the Add to Reading List Source URL: ancienthistorybulletin.org Language: English - Date: 2014-08-22 16:56:32 Ancient Roman women Roman gentes Jesus and history Pliny the Younger Suetonius Arulenus Rusticus Fannia Tacitus Ummidia Quadratilla Trajan Pliny Arria
586	Plekos 8,2006,1–6 – http://www.plekos.uni-muenchen.de/2006/rdavies.pdf 1 Jason P. Davies: Rome’s Religious History. Livy, Tacitus and Ammianus on their Gods. Cambridge: Cambridge University Pressix + 341 pp Add to Reading List Source URL: www.plekos.uni-muenchen.de Language: English - Date: 2006-01-30 05:14:14 Latin literature Roman historiography Livy Ammianus Marcellinus Tacitus Culture of ancient Rome Religion in ancient Rome Classical studies Tacitean studies
587	The 49th Annual Meeting of the British Association for Applied Linguistics will be hosted by Anglia Ruskin University in Cambridge on 1–3 SeptemberCALL FOR PAPERS Conference theme: Taking stock of Applied Lingui Add to Reading List Source URL: baal.org.uk Language: English - Date: 2015-12-31 17:15:04 Academic publishing Academic conferences Research Conferences Abstract management Abstract British Association for Applied Linguistics Electronic submission Poster session Applied linguistics
588	DRAFT to appear in K. A. Renninger and W. Shumar (Eds.), Building virtual communities: Learning and change in cyberspace. NY: Cambridge University PressEvolution of an On-line Education Community of Practice Mar Add to Reading List Source URL: www.tappedin.org Language: English - Date: 2014-09-04 15:31:31 Educational psychology Virtual reality Community building Community of practice Knowledge Management Cop Educational technology Cyberspace Virtual world
589	PDF Document Add to Reading List Source URL: e-a-a.org Language: English - Date: 2016-01-25 10:53:18 Oxbridge Russell Group University of Cambridge University press Cambridge University Press Publishing
590	Semantics of System F Paul Taylor June 1988 This is Appendix A to Proofs and Types by Jean-Yves Girard, translated and with appendices by Yves Lafont and myself, published by Cambridge University Press, 1988. In this app Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:37 General topology Embedding Coherent topology Sheaf Lambda calculus

UPDATE